<?php
	echo 'Hello world';